The subject of the study is the figurative and symbolic reflection and transformation of the dynamic reality of life in the cinematic space of modern culture. The purpose of the work is to identify and substantiate trends in the development of cinematographic cultural texts based on the figurative and symbolic representation of the phenomenon of success in the existential space of human existence. The scientific novelty of the work is represented by the evidence base of the study, which determines the (...) figurative correspondence of the philosophical and sociological representation of cinematic texts to the phenomenon of success as a value-symbolic aspect of personal activity. Based on the analysis of cinema screen products created at the turn of the XX-XXI centuries and devoted to the characterization of the image of a subject whose existential level of being is characterized in the symbols of success/ failure, several trends in the development of cinematic culture can be identified. Firstly, the characteristic of the "sunset" of the previously dominant ideological trend of symbolization of the actual phenomenology of success. Secondly, the stage of axiological instability and ambivalence in the evaluation of the symbols of success, unevenly implemented in the scenario and staging part. And, thirdly, the formation and consolidation of new cinematic paradigms through the constant convergence of private symbols of success, manifested in different ways both in reality and on the cinema screen, and accompanied by constant attempts at their non-contextual universalization. (shrink)

This book traces the development of Dialectical Logic within the history of modern western philosophy, culminating in Marx s materialist dialectics. It brings out the essential contours of Logic through a detailed exposition of the ontological and epistem.

Ideal for undergraduate students in philosophy and science studies, Philosophy of Technology offers an engaging and comprehensive overview of a subject vital to our time. An up-to-date, accessible overview of the philosophy of technology, defining technology and its characteristics. Explores the issues that arise as technology becomes an integral part of our society. In addition to traditional topics in science and technology studies, the volume offers discussion of technocracy, the romantic rebellion against technology. Complements The Philosophy of Technology : The (...) Technological Condition: An Anthology, edited by Robert C. Scharff and Val Dusek. (shrink)

Lo digital descansa en la computación. La programación utiliza algoritmos. Los algoritmos son el conjunto de reglas que resuelven problemas en un número finito de pasos. En este sentido, el mundo digital está regido por cantidades, números, reglas fijas. El grado de libertad parece muy limitado. Por el contrario, la actividad artística y la creatividad descansan en la apertura, la libertad y en experiencias cualitativas. Estas experiencias no solo son vitales para la expresión artística, sino para la vida cotidiana. Los (...) mundos-vitales tecnológicos tal como se representan en tecnologías actuales (por ejemplo, en las casas inteligentes o en la conducción automática) o en la ciencia ficción no parecen dar cabida a estas estructuras abiertas. La filosofía de la tecnología está dividida: muchos sostienen que la tecnología determina en gran medida la cognición humana (como Mark B. N. Hansen, Bernard Stiegle) y, consiguientemente, subordina la cognición humana a las organizaciones maquinales. Otros adoptan una aproximación diferente y reflexionan sobre el potencial creativo de las nuevas tecnologías (Erin Mannig, Jaime del Val). Este artículo discute teorías que abordan la relación humano-máquina en tanto que estructuras complejas que van más allá de la visión distópica del ser humano siendo trascendido o incorporado por la tecnología. Estas aproximaciones son centrales para discutir el futuro del ser humano y la conformación político-cultural de los mundos vitales. Para entender cómo las relaciones humano-máquina pueden considerarse como procesos abiertos y creativos, presento narrativas de cognición corporalizada, ejemplos artísticos de estrategias de performance con sistemas algorítmicos, y finalmente engarzo estos aspectos en un panorama más amplio sobre la conceptualización de la tecnología y la vida humana como un continuo, en vez de una sostenida oposición o un estar determinado por el otro. (shrink)

In the following essay, I argue for an alternative anthropocentrism that, eschewing failed appeals to traditional moral principle, takes (a) as its point of departure the cognitive, perceptual, emotive, somatic, and epistemic conditions of our existence as members of Homo sapiens, and (b) one feature of our experience of/under these conditions particularly seriously as an avenue toward articulating this alternative, the capacity for aesthetic appreciation. To this end, I will explore, but ultimately reject philosopher Allen Carlson's ecological aesthetics, and I (...) will adopt with modification aspects of the work of Ronnie Hawkins, Val Plumwood, and Donna Haraway. My central claim is that, equipped with a better understanding of our interdependent relationship to/within human and nonhuman nature, an understanding made especially available to those who occupy situations imbued by subjugation, we can come to understand our human-centeredness not as a justification of entitlement, but as an opportunity for critical self-reflection upon those actions which endanger the ecological conditions of human and nonhuman being. I suggest, then, that developing criteria for an aesthetic appreciation ground in such a centeredness can make a vital contribution to a more ecologically defensible moral and political activism. (shrink)

The discussion of problems of contradiction in the development of the socialist economy has not thus far brought scholars to an agreed opinion on this question. The thought has been expressed in this regard that to frame the question as one of defining a basic contradiction of socialism is false and that under socialism only partial and temporary contradictions can occur, which spring up and are resolved in various periods of the development of socialist society.

Ce livre est né d'un débat qui s'est tenu à Evry en novembre 2015, intitulé « La mémoire de la vie » entre Patrick Curmi, biologiste, médecin et actuel président de l'université d'Évry Val d'Essonne, et Edgar Morin. Celui-ci développe l'idée motrice de son deuxième volume de La Méthode, « La vie de la vie », estimant qu'il est devenu vital de penser la vie. Non point d'éliminer la notion, au prétexte qu'elle serait surinvestie d'enjeux philosophico-idéologicoreligieux, ou de la déclarer, (...) du point de vue de la science, parfaitement superfétatoire, mais de chercher à la penser dans sa complexité, dans son unité, dans sa multidimentionnalité. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:IntroductionPiers H.G. StephensThis special issue of Ethics and the Environment is dedicated to the philosophical contributions of our founding editor, Victoria Davion, who launched the journal in 1996 and edited it until shortly before her death in November 2017. Vicky was a pioneering figure in ecofeminist philosophy, as well as being both the first woman to become a full professor and the first to be chair of the Philosophy (...) Department here at the University of Georgia. Naturally we have endeavored to give her a suitable tribute in this issue, which we hope you will appreciate.In addition to these achievements, Vicky developed and practiced a pedagogy that consistently complemented her philosophical perspective, and in the issue's opening piece, Cecilia Herles reflects personally on the enduring legacy and influence of Vicky Davion's teaching work, and the rich heritage that has flowed out of it for her students, encouraging egalitarian dialogue, interdisciplinarity, and a practicality that extended beyond the University and into the wider community. It is surely appropriate to begin our special issue with such an appreciation of the ways that Vicky touched and lifted up so many lives.These reflections are built upon in Chaone Mallory's essay, which takes Davion's key essay "Is Ecofeminism Feminist?" as its touchstone, examining that essay's vital influence on scholarship and activism as well as its key role in defining contemporary ecofeminism itself. Drawing upon Davion's arguments, Mallory tracks a series of vital questions for the development of the field. She demonstrates how Davion's early critical insights have helped sort the wheat from the chaff in dealing with concerns such as spirituality, irrationality, essentialism, and sexism within environmentalism, concerns that made ecofeminism questionable in some feminists' eyes, and she concludes with a positive exposition as to why "all feminisms, whether named this or not, should in some sense, be eco."From here we move to Ronnie Hawkins' extensive and detailed application of Davion's work to the neurobiological, cultural, and axiological roots of our contemporary ecological situation, in which Hawkins invokes [End Page 1] and applies the insights of Davion's 2002 essay "Anthropocentrism, Artificial Intelligence, and Moral Network Theory: An Ecofeminist Perspective." Drawing upon Davion's inventive use of Val Plumwood's account of dualisms, Hawkins stresses Davion's pioneering work in avoiding the reason/nature dualistic fracture, and uses this work to critique the predominant current discourses of AI and neuroscience, in the process further expounding Davion's critiques of anthropocentrism and logocentrism. Cashing out the wider implications of Davion's perspective for our models of the mind, Hawkins connects these to Iain McGilchrist's recent work on the neuropsychology of perception and morality, arguing that this new account of the interaction of the two cerebral hemispheres and their role in generating an orientation to the world for cognition and valuing is consistent with Davion's insights, and can both help explain the environmental failings of modern Western culture and give support for non-instrumentalizing and nonanthropocentric alternatives.Finally, Trish Glazebrook and Emmanuela Opoku offer an extended ecofeminist examination of the roles, significance, dangers, and current status of environmental protectors in contemporary global environmental politics. In a paper dedicated to Davion that addresses many of her concerns with the interlocking character of forms of oppression, they systematically investigate and elucidate the importance of environmental protectors, the struggles that they engage in, the increasing threats of violence that they face, and their significance in the fight against climate change, ultimately arguing that the UN should extend explicit protection to land and environmental defenders under its human rights umbrella.We think these contributions are a fitting tribute to our founding editor, and offer you this special issue with the wish that her legacy will endure. [End Page 2]Copyright © 2018 The Trustees of Indiana University... (shrink)

Two of the most important political movements of the late twentieth century are those of environmentalism and feminism. In this book, Val Plumwood argues that feminist theory has an important opportunity to make a major contribution to the debates in political ecology and environmental philosophy. _Feminism and the Mastery of Nature_ explains the relation between ecofeminism, or ecological feminism, and other feminist theories including radical green theories such as deep ecology. Val Plumwood provides a philosophically informed account of the relation (...) of women and nature, and shows how relating male domination to the domination of nature is important and yet remains a dilemma for women. (shrink)

In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...) resisted formalization since the early 1930s. LP may be regarded as a unified underlying structure for intuitionistic, modal logics, typed combinatory logic and λ-calculus. (shrink)

In this much-needed account of what has gone wrong in our thinking about the environment, Val Plumwood digs at the roots of environmental degradation. She argues that we need to see nature as an end itself, rather than an instrument to get what we want. Using a range of examples, Plumwood presents a radically new picture of how our culture must change to accommodate nature.

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...) robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. (shrink)

Rationalism is the key to the connected oppressions of women and nature in the West. Deep ecology has failed to provide an adequate historical perspective or an adequate challenge to human/nature dualism. A relational account of self enables us to reject an instrumental view of nature and develop an alternative based on respect without denying that nature is distinct from the self. This shift of focus links feminist, environmentalist, and certain forms of socialist critiques. The critique of anthropocentrism is not (...) sacrificed, as deep ecologists argue, but enriched. (shrink)

Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.

Tracing how the logic of inoperativity works in the domains of language, law, history and humanity, 'Agamben and Politics' systematically introduces the fundamental concepts of Agamben's political thought and a critically interprets his insights in the wider context of contemporary philosophy.

We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by the (...) class of all involutive Routley star information frames. This result provides a much simplified semantics for HYPE and also a simplified axiomatization, which shows that HYPE is identical with the modal symmetric propositional calculus introduced by G. Moisil in 1942. Moreover, it is shown that HYPE can be faithfully embedded into a normal bi-modal logic based on classical logic. Against this background, we discuss the notion of hyperintensionality. (shrink)

The relationships between various modal logics based on Belnap and Dunn’s paraconsistent four-valued logic FDE are investigated. It is shown that the paraconsistent modal logic \, which lacks a primitive possibility operator \, is definitionally equivalent with the logic \, which has both \ and \ as primitive modalities. Next, a tableau calculus for the paraconsistent modal logic KN4 introduced by L. Goble is defined and used to show that KN4 is definitionally equivalent with \ without the absurdity constant. Moreover, (...) a tableau calculus is defined for the modal bilattice logic MBL introduced and investigated by A. Jung, U. Rivieccio, and R. Jansana. MBL is a generalization of BK that in its Kripke semantics makes use of a four-valued accessibility relation. It is shown that MBL can be faithfully embedded into the bimodal logic \ over the non-modal vocabulary of MBL. On the way from \ to MBL, the Fischer Servi-style modal logic \ is defined as the set of all modal formulas valid under a modified standard translation into first-order FDE, and \ is shown to be characterized by the class of all models for \. Moreover, \ is axiomatized and this axiom system is proved to be strongly sound and complete with respect to the class of models for \. Moreover, the notion of definitional equivalence is suitably weakened, so as to show that \ and \ are weakly definitionally equivalent. (shrink)

In this paper individual proofs are integrated into provability logic. Systems of axioms for a logic with operators “A is provable” and “p is a proof of A” are introduced, provided with Kripke semantics and decision procedure. Completeness theorems with respect to the arithmetical interpretation are proved.

This paper argues that unusual coincidences, particularly those involving historical events, can be viewed as design patterns, suggesting an intelligent influence over the course of events. A compelling case examined in detail using probability theory concerns the presidencies of Abraham Lincoln (1809–1865) and John F. Kennedy (1917–1963). This and other coincidences involving historical figures disfavor the materialistic perspective and point to the presence of an intelligent agent acting on a global scale, beyond the arrow of time, influencing human lives and (...) the course of history. (shrink)

This paper sheds light on the relationship between the logic of generalized truth values and the logic of bilattices. It suggests a definite solution to the problem of axiomatizing the truth and falsity consequence relations, \ and \ , considered in a language without implication and determined via the truth and falsity orderings on the trilattice SIXTEEN 3 . The solution is based on the fact that a certain algebra isomorphic to SIXTEEN 3 generates the variety of commutative and distributive (...) bilattices with conflation. (shrink)

N4-lattices provide algebraic semantics for the logic N4, the paraconsistent variant of Nelson's logic with strong negation. We obtain the representation of N4-lattices showing that the structure of an arbitrary N4-lattice is completely determined by a suitable implicative lattice with distinguished filter and ideal. We introduce also special filters on N4-lattices and prove that special filters are exactly kernels of homomorphisms. Criteria of embeddability and to be a homomorphic image are obtained for N4-lattices in terms of the above mentioned representation. (...) Finally, subdirectly irreducible N4-lattices are described. (shrink)

The paper aims to present a critical analysis of the phenomenon and notion of exceptionalism in bioethics. The authors demonstrate that exceptionalism pertains to phenomena that are not (yet) entirely familiar to us and could potentially bear risks regarding their regulation. After an overview of the state of the art, we briefly describe the origins and evolution of the concept, compared to exception and exclusion. In the second step, they look at the overall development debates on genetic exceptionalism, compared to (...) other bioethical debates on exceptionalism, before presenting a detailed analysis of a specific case of early regulation of genetic screening. In the last part, the authors explain the historical background behind the connection between exceptionalism and exclusion in these debates. Their main conclusion is that while the initial stage of the discussion is shaped by the concept of exceptionalism and awareness of risks of exclusion, the later development centers around exceptions that are needed in detailed regulatory procedures. (shrink)

While Foucault’s work on biopolitics continues to inspire diverse studies in a variety of disciplines, it has largely been missing from the debates on the possibility of “affirmative biopolitics” which have been primarily influenced by the work of Agamben and Esposito. This article restores Foucault’s work to these debates, proposing that his final lecture course at the Collège de France in 1983–1984 developed a paradigm of affirmative biopolitics in the reading of the Cynic practice of truth-telling ( parrhesia). The Cynic (...) problematization of the relation between truth and life and their transvaluation of conventional truths by relocating them to the domain of bare life not only seeks to transform one’s life in accordance with the truth but also, through the confrontation with the existing conventions and norms, to transform the world as such. Cynic parrhesia is thus biopolitical, insofar as it reclaims the power of one’s life from the social order and its rationalities of government and applies it to oneself, investing one’s existence with truth. Since Foucault developed this reading of Cynicism in the context of his political engagement on behalf on East European dissidents, the article proceeds to analyse the resonances between parrhesia and Václav Havel’s idea of “living within the truth,” elaborating the biopolitical significance of both practices. We conclude by addressing the implications of our interpretation for Foucault scholarship and the wider debates on biopolitics. (shrink)

We outline an intuitionistic view of knowledge which maintains the original Brouwer–Heyting–Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of verification. We argue that on this view coreflectionA→KAis valid and the factivity of knowledge holds in the formKA→ ¬¬A‘known propositions cannot be false’.We show that the traditional form of factivityKA→Ais a distinctly classical principle which, liketertium non datur A∨ ¬A, does not hold intuitionistically, but, along with the whole of (...) classical epistemic logic, is intuitionistically valid in its double negation form ¬¬(KA¬A).Within the intuitionistic epistemic framework the knowability paradox is resolved in a constructive manner. We argue that this paradox is the result of an unwarranted classical reading of constructive principles and as such does not have the consequences for constructive foundations traditionally attributed it. (shrink)